<script async src="https://www.googletagmanager.com/gtag/js?id={html-googleAnalyticsId}"></script>
<script>
    window.dataLayer = window.dataLayer || [];
    function gtag(){dataLayer.push(arguments);}
    gtag('js', new Date());

    gtag('config', '{html-googleAnalyticsId}');
</script>

<!-- Collapsed Table of Content -->
<link rel="stylesheet" href="website/jstree/style.css" />
<link rel="stylesheet" href="website/toc.css" />
